[next] [prev] [prev-tail] [tail] [up]

2.2.5 Integrals 401 to 500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

571 458 375 422 2367 538 0 0 0

N.S.

1 0.80 0.66 0.74 4.15 0.94 0.00 0.00 0.00

time (sec)

N/A 1.004 3.657 10.541 0.529 0.258 0.000 0.000 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

364 373 338 359 1871 420 0 0 0

N.S.

1 1.02 0.93 0.99 5.14 1.15 0.00 0.00 0.00

time (sec)

N/A 0.642 3.272 10.476 0.488 0.249 0.000 0.000 0.000

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

520 411 401 502 1462 460 0 0 0

N.S.

1 0.79 0.77 0.97 2.81 0.88 0.00 0.00 0.00

time (sec)

N/A 0.823 2.829 10.454 0.502 0.257 0.000 0.000 0.000

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 51 76 76 0 0 0

N.S.

1 1.00 1.00 1.34 2.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.242 1.070 9.750 0.348 0.241 0.000 0.000 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 84 68 59 79 0 0 102

N.S.

1 1.00 1.04 0.84 0.73 0.98 0.00 0.00 1.26

time (sec)

N/A 0.383 1.342 9.542 0.416 0.253 0.000 0.000 5.665

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 128 98 77 84 91 0 0 110

N.S.

1 1.02 0.78 0.62 0.67 0.73 0.00 0.00 0.88

time (sec)

N/A 0.575 1.452 9.705 0.412 0.246 0.000 0.000 5.852

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 174 113 95 160 103 0 0 125

N.S.

1 1.04 0.68 0.57 0.96 0.62 0.00 0.00 0.75

time (sec)

N/A 0.787 1.578 9.886 0.416 0.248 0.000 0.000 6.535

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

612 503 386 556 3005 635 0 0 0

N.S.

1 0.82 0.63 0.91 4.91 1.04 0.00 0.00 0.00

time (sec)

N/A 1.251 3.201 9.464 0.650 0.263 0.000 0.000 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 418 387 449 2431 525 0 0 0

N.S.

1 1.02 0.94 1.09 5.91 1.28 0.00 0.00 0.00

time (sec)

N/A 0.828 4.090 10.241 0.872 0.261 0.000 0.000 0.000

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

563 454 359 661 2013 484 0 0 0

N.S.

1 0.81 0.64 1.17 3.58 0.86 0.00 0.00 0.00

time (sec)

N/A 1.014 3.413 10.548 1.024 0.262 0.000 0.000 0.000

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

362 372 343 471 1492 505 0 0 0

N.S.

1 1.03 0.95 1.30 4.12 1.40 0.00 0.00 0.00

time (sec)

N/A 0.651 3.806 10.553 0.504 0.263 0.000 0.000 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 57 76 80 0 0 104

N.S.

1 1.00 1.00 1.50 2.00 2.11 0.00 0.00 2.74

time (sec)

N/A 0.248 1.161 9.623 0.343 0.240 0.000 0.000 5.026

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 92 76 94 94 0 0 112

N.S.

1 1.00 1.14 0.94 1.16 1.16 0.00 0.00 1.38

time (sec)

N/A 0.433 1.397 9.868 0.434 0.243 0.000 0.000 5.988

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 128 104 87 96 99 0 0 127

N.S.

1 1.02 0.83 0.70 0.77 0.79 0.00 0.00 1.02

time (sec)

N/A 0.567 1.457 9.877 0.394 0.239 0.000 0.000 6.674

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 175 121 97 124 99 0 0 133

N.S.

1 1.04 0.72 0.57 0.73 0.59 0.00 0.00 0.79

time (sec)

N/A 0.790 1.605 9.815 0.843 0.241 0.000 0.000 6.803

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

369 375 350 765 2258 461 0 0 0

N.S.

1 1.02 0.95 2.07 6.12 1.25 0.00 0.00 0.00

time (sec)

N/A 0.653 3.779 15.948 0.778 0.269 0.000 0.000 0.000

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

483 373 302 157 726 385 0 0 0

N.S.

1 0.77 0.63 0.33 1.50 0.80 0.00 0.00 0.00

time (sec)

N/A 0.631 1.846 14.688 0.468 0.270 0.000 0.000 0.000

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 32 76 64 0 0 40

N.S.

1 1.00 1.00 0.89 2.11 1.78 0.00 0.00 1.11

time (sec)

N/A 0.233 0.620 11.600 0.345 0.238 0.000 0.000 5.704

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 48 42 80 78 0 0 78

N.S.

1 1.00 0.60 0.52 1.00 0.98 0.00 0.00 0.98

time (sec)

N/A 0.370 0.664 10.194 0.422 0.234 0.000 0.000 0.845

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 127 68 61 130 89 0 0 86

N.S.

1 1.05 0.56 0.50 1.07 0.74 0.00 0.00 0.71

time (sec)

N/A 0.593 0.863 10.354 0.413 0.236 0.000 0.000 4.560

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 173 79 70 178 100 0 0 101

N.S.

1 1.05 0.48 0.42 1.08 0.61 0.00 0.00 0.61

time (sec)

N/A 0.742 1.131 10.228 0.593 0.235 0.000 0.000 5.345

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 220 87 88 226 111 0 0 109

N.S.

1 1.07 0.42 0.43 1.10 0.54 0.00 0.00 0.53

time (sec)

N/A 0.944 1.399 10.602 0.798 0.240 0.000 0.000 4.938

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

529 464 337 712 1817 483 0 0 0

N.S.

1 0.88 0.64 1.35 3.43 0.91 0.00 0.00 0.00

time (sec)

N/A 1.064 3.655 16.846 0.507 0.259 0.000 0.000 0.000

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

365 378 338 1090 778 539 0 0 0

N.S.

1 1.04 0.93 2.99 2.13 1.48 0.00 0.00 0.00

time (sec)

N/A 0.672 4.028 16.180 0.467 0.259 0.000 0.000 0.000

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 55 76 67 0 0 0

N.S.

1 1.00 1.00 1.45 2.00 1.76 0.00 0.00 0.00

time (sec)

N/A 0.242 1.183 11.311 0.376 0.239 0.000 0.000 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 63 59 80 75 0 0 84

N.S.

1 1.00 0.79 0.74 1.00 0.94 0.00 0.00 1.05

time (sec)

N/A 0.383 0.945 14.185 0.429 0.239 0.000 0.000 4.839

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 126 83 69 130 89 0 0 104

N.S.

1 1.04 0.69 0.57 1.07 0.74 0.00 0.00 0.86

time (sec)

N/A 0.558 1.101 9.737 0.402 0.243 0.000 0.000 4.875

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 173 100 91 178 100 0 0 112

N.S.

1 1.05 0.61 0.55 1.08 0.61 0.00 0.00 0.68

time (sec)

N/A 0.800 1.414 9.505 0.407 0.242 0.000 0.000 5.095

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 219 100 97 226 111 0 0 127

N.S.

1 1.05 0.48 0.46 1.08 0.53 0.00 0.00 0.61

time (sec)

N/A 0.953 1.513 9.826 0.764 0.242 0.000 0.000 5.433

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 426 370 1612 2449 541 0 0 0

N.S.

1 1.04 0.90 3.92 5.96 1.32 0.00 0.00 0.00

time (sec)

N/A 0.919 5.504 15.103 0.920 0.255 0.000 0.000 0.000

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

527 420 357 920 1466 543 0 0 0

N.S.

1 0.80 0.68 1.75 2.78 1.03 0.00 0.00 0.00

time (sec)

N/A 0.856 4.273 15.139 0.665 0.263 0.000 0.000 0.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 59 76 71 0 0 0

N.S.

1 1.00 1.00 1.55 2.00 1.87 0.00 0.00 0.00

time (sec)

N/A 0.244 1.187 11.109 0.343 0.249 0.000 0.000 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 63 73 86 79 0 0 102

N.S.

1 1.00 0.79 0.91 1.08 0.99 0.00 0.00 1.28

time (sec)

N/A 0.393 1.224 14.333 0.408 0.233 0.000 0.000 4.768

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 126 85 69 130 86 0 0 109

N.S.

1 1.04 0.70 0.57 1.07 0.71 0.00 0.00 0.90

time (sec)

N/A 0.553 1.347 13.263 0.390 0.234 0.000 0.000 5.343

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 172 102 85 178 89 0 0 118

N.S.

1 1.06 0.63 0.52 1.10 0.55 0.00 0.00 0.73

time (sec)

N/A 0.740 1.448 10.019 0.771 0.247 0.000 0.000 5.121

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 219 107 102 226 111 0 0 135

N.S.

1 1.06 0.52 0.50 1.10 0.54 0.00 0.00 0.66

time (sec)

N/A 0.994 1.567 8.522 0.643 0.250 0.000 0.000 5.954

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 118 0 0 0 0 0 0

N.S.

1 1.00 1.37 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.484 1.689 0.000 0.000 0.000 0.000 0.000 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 116 0 0 0 0 0 0

N.S.

1 1.00 1.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.476 1.268 0.000 0.000 0.000 0.000 0.000 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 116 0 0 0 0 0 0

N.S.

1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.475 1.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 95 0 0 0 0 0 0

N.S.

1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.467 1.113 0.000 0.000 0.000 0.000 0.000 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 95 0 0 0 0 0 0

N.S.

1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.467 1.346 0.000 0.000 0.000 0.000 0.000 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 112 0 0 0 0 0 0

N.S.

1 1.00 1.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.479 1.376 0.000 0.000 0.000 0.000 0.000 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

437 248 240 0 3902 528 0 0 0

N.S.

1 0.57 0.55 0.00 8.93 1.21 0.00 0.00 0.00

time (sec)

N/A 0.702 2.443 0.000 0.547 0.259 0.000 0.000 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

378 201 220 0 1906 515 0 0 0

N.S.

1 0.53 0.58 0.00 5.04 1.36 0.00 0.00 0.00

time (sec)

N/A 0.652 1.945 0.000 0.441 0.264 0.000 0.000 0.000

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

340 154 161 0 1753 367 0 0 0

N.S.

1 0.45 0.47 0.00 5.16 1.08 0.00 0.00 0.00

time (sec)

N/A 0.446 1.160 0.000 0.467 0.259 0.000 0.000 0.000

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

37 37 47 0 107 55 0 0 81

N.S.

1 1.00 1.27 0.00 2.89 1.49 0.00 0.00 2.19

time (sec)

N/A 0.273 0.984 0.000 0.625 0.246 0.000 0.000 5.786

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F(-1) F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 70 0 316 58 0 0 90

N.S.

1 1.00 0.86 0.00 3.90 0.72 0.00 0.00 1.11

time (sec)

N/A 0.446 1.093 0.000 0.578 0.244 0.000 0.000 5.075

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F(-1) F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 126 100 0 402 107 0 0 122

N.S.

1 1.03 0.82 0.00 3.30 0.88 0.00 0.00 1.00

time (sec)

N/A 0.598 1.499 0.000 0.892 0.244 0.000 0.000 6.360

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F(-1) F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 171 116 0 983 133 0 0 303

N.S.

1 1.05 0.71 0.00 6.03 0.82 0.00 0.00 1.86

time (sec)

N/A 0.780 2.039 0.000 0.402 0.236 0.000 0.000 8.950

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 88 210 0 0 0 0 0 0

N.S.

1 1.02 2.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.475 6.415 0.000 0.000 0.000 0.000 0.000 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 88 147 0 0 0 0 0 0

N.S.

1 1.02 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.454 1.546 0.000 0.000 0.000 0.000 0.000 0.000

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 114 114 0 0 0 0 0 0

N.S.

1 1.33 1.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.464 0.513 0.000 0.000 0.000 0.000 0.000 0.000

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 114 67 0 0 0 0 0 0

N.S.

1 1.39 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.435 0.224 0.000 0.000 0.000 0.000 0.000 0.000

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 88 152 0 0 0 0 0 0

N.S.

1 1.02 1.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.460 2.046 0.000 0.000 0.000 0.000 0.000 0.000

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 88 156 0 0 0 0 0 0

N.S.

1 1.02 1.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.473 1.966 0.000 0.000 0.000 0.000 0.000 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 88 153 0 0 0 0 0 0

N.S.

1 1.02 1.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.476 2.087 0.000 0.000 0.000 0.000 0.000 0.000

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 121 186 0 0 0 0 0 0

N.S.

1 1.11 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.516 3.291 0.000 0.000 0.000 0.000 0.000 0.000

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 121 186 0 0 0 0 0 0

N.S.

1 1.11 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.481 5.210 0.000 0.000 0.000 0.000 0.000 0.000

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 114 186 0 0 0 0 0 0

N.S.

1 1.07 1.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.482 2.739 0.000 0.000 0.000 0.000 0.000 0.000

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 114 174 0 0 0 0 0 0

N.S.

1 1.07 1.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.461 1.754 0.000 0.000 0.000 0.000 0.000 0.000

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

106 118 174 0 0 0 0 0 0

N.S.

1 1.11 1.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.489 2.492 0.000 0.000 0.000 0.000 0.000 0.000

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 121 178 0 0 0 0 0 0

N.S.

1 1.11 1.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.496 3.141 0.000 0.000 0.000 0.000 0.000 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 121 178 0 0 0 0 0 0

N.S.

1 1.11 1.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.496 5.071 0.000 0.000 0.000 0.000 0.000 0.000

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 105 165 0 0 0 0 0 0

N.S.

1 1.00 1.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.442 10.023 0.000 0.000 0.000 0.000 0.000 0.000

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 86 80 272 0 247 0 0 168

N.S.

1 0.89 0.82 2.80 0.00 2.55 0.00 0.00 1.73

time (sec)

N/A 0.278 0.881 1.832 0.000 0.252 0.000 0.000 9.520

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 60 60 150 0 142 0 0 216

N.S.

1 0.92 0.92 2.31 0.00 2.18 0.00 0.00 3.32

time (sec)

N/A 0.272 0.278 1.014 0.000 0.263 0.000 0.000 2.817

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 31 28 60 0 62 104

N.S.

1 1.00 1.00 0.97 0.88 1.88 0.00 1.94 3.25

time (sec)

N/A 0.240 0.187 0.446 0.224 0.241 0.000 0.730 0.506

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 60 54 0 0 0 0 0 0

N.S.

1 1.07 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.253 0.209 0.000 0.000 0.000 0.000 0.000 0.000

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 64 58 0 0 0 0 0 0

N.S.

1 1.07 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.250 0.292 0.000 0.000 0.000 0.000 0.000 0.000

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 64 58 0 0 0 0 0 0

N.S.

1 1.07 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.246 0.542 0.000 0.000 0.000 0.000 0.000 0.000

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 94 149 0 0 0 0 0 0

N.S.

1 1.00 1.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.492 14.720 0.000 0.000 0.000 0.000 0.000 0.000

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 92 149 0 0 0 0 0 0

N.S.

1 1.00 1.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.461 13.910 0.000 0.000 0.000 0.000 0.000 0.000

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 146 0 0 0 0 0 0

N.S.

1 1.00 1.66 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.435 9.963 0.000 0.000 0.000 0.000 0.000 0.000

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 146 0 0 0 0 0 0

N.S.

1 1.00 1.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.473 13.431 0.000 0.000 0.000 0.000 0.000 0.000

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 94 149 0 0 0 0 0 0

N.S.

1 1.00 1.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.482 14.216 0.000 0.000 0.000 0.000 0.000 0.000

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

94 94 149 0 0 0 0 0 0

N.S.

1 1.00 1.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.478 15.681 0.000 0.000 0.000 0.000 0.000 0.000

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

96 96 181 0 0 0 0 0 0

N.S.

1 1.00 1.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 10.898 0.000 0.000 0.000 0.000 0.000 0.000

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

96 96 170 0 0 0 0 0 0

N.S.

1 1.00 1.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.478 11.040 0.000 0.000 0.000 0.000 0.000 0.000

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 94 170 0 0 0 0 0 0

N.S.

1 1.00 1.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.460 10.434 0.000 0.000 0.000 0.000 0.000 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 143 0 0 0 0 0 0

N.S.

1 1.00 1.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.474 11.191 0.000 0.000 0.000 0.000 0.000 0.000

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 143 0 0 0 0 0 0

N.S.

1 1.00 1.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 12.154 0.000 0.000 0.000 0.000 0.000 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 157 0 0 0 0 0 0

N.S.

1 1.00 1.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.491 12.477 0.000 0.000 0.000 0.000 0.000 0.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

269 259 165 4331 435 335 0 0 511

N.S.

1 0.96 0.61 16.10 1.62 1.25 0.00 0.00 1.90

time (sec)

N/A 1.129 1.889 6.426 0.817 0.252 0.000 0.000 11.480

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

205 209 119 4982 346 265 0 0 425

N.S.

1 1.02 0.58 24.30 1.69 1.29 0.00 0.00 2.07

time (sec)

N/A 0.891 1.891 6.876 0.401 0.244 0.000 0.000 11.061

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 147 82 2581 175 178 0 0 227

N.S.

1 0.99 0.55 17.44 1.18 1.20 0.00 0.00 1.53

time (sec)

N/A 0.637 1.378 6.424 0.397 0.247 0.000 0.000 10.534

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A B F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

94 97 58 2484 113 129 246 0 121

N.S.

1 1.03 0.62 26.43 1.20 1.37 2.62 0.00 1.29

time (sec)

N/A 0.418 1.289 7.101 0.377 0.249 0.507 0.000 2.159

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

37 37 37 842 86 84 49 0 0

N.S.

1 1.00 1.00 22.76 2.32 2.27 1.32 0.00 0.00

time (sec)

N/A 0.235 0.325 5.522 0.332 0.243 3.856 0.000 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

118 156 87 0 0 0 0 0 0

N.S.

1 1.32 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.549 5.842 0.000 0.000 0.000 0.000 0.000 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 146 112 0 0 0 0 0 0

N.S.

1 1.29 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.502 14.181 0.000 0.000 0.000 0.000 0.000 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

121 156 116 0 0 0 0 0 0

N.S.

1 1.29 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.573 17.560 0.000 0.000 0.000 0.000 0.000 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 159 122 0 1067 166 0 0 318

N.S.

1 1.02 0.78 0.00 6.84 1.06 0.00 0.00 2.04

time (sec)

N/A 0.653 3.579 0.000 1.366 0.252 0.000 0.000 11.811

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 142 166 0 0 0 0 0 0

N.S.

1 1.46 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.551 15.718 0.000 0.000 0.000 0.000 0.000 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 102 91 0 595 134 0 0 174

N.S.

1 1.04 0.93 0.00 6.07 1.37 0.00 0.00 1.78

time (sec)

N/A 0.445 2.560 0.000 1.084 0.245 0.000 0.000 7.467

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 140 166 0 0 0 0 0 0

N.S.

1 1.44 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.551 14.589 0.000 0.000 0.000 0.000 0.000 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

46 46 59 0 217 109 0 0 106

N.S.

1 1.00 1.28 0.00 4.72 2.37 0.00 0.00 2.30

time (sec)

N/A 0.247 1.966 0.000 0.364 0.251 0.000 0.000 5.628

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 138 154 0 0 0 0 0 0

N.S.

1 1.45 1.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.529 10.340 0.000 0.000 0.000 0.000 0.000 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 69 146 0 0 0 0 0 0

N.S.

1 1.06 2.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 2.241 0.000 0.000 0.000 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 137 157 0 0 0 0 0 0

N.S.

1 1.44 1.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.535 14.202 0.000 0.000 0.000 0.000 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 78 151 0 0 0 0 0 0

N.S.

1 1.05 2.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.569 14.688 0.000 0.000 0.000 0.000 0.000 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 142 166 0 0 0 0 0 0

N.S.

1 1.46 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.575 14.985 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]